
/*@
 */
int main (int a)
{
  int i;
  int j;
  int k;
  int sum;
  
  sum = 0;
  
  while (a > 0)
  {
    a = a - 1;
    sum = sum + a;
  }
  return sum; 
}
/*@
 */


